RWTH Aachen University - PDFSEARCH.IO - Document Search Engine

RWTH Aachen University
Results: 580

#	Item
271	Learning Universally Quantified Invariants of Linear Data Structures Pranav Garg1 , Christof L¨oding2 , P. Madhusudan1 , and Daniel Neider2 1 University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Automata theory Models of computation Logic in computer science Formal methods Computability theory Satisfiability Modulo Theories Lookup table Deterministic finite automaton Decision problem Theoretical computer science Applied mathematics Mathematics
272	Optimal Bounds in Parametric LTL Games Martin Zimmermann1 Institute of Informatics University of Warsaw Warsaw, Poland Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-08-01 04:03:57 Tiny Encryption Algorithm Partition Valuation Ground expression Constructible universe Ordinal number Mathematics Linear temporal logic Temporal logic
273	Near‐to‐Face Processing An Approach towards improved Primary Resource Efficiency SDIMI [removed] June ‐ 3 July 2013, Milos Island, Greece M. Dammers, C. Schropp, P.N. Martens and L. Rattman Add to Reading List Source URL: www.ceecthefuture.org Language: English - Date: 2014-06-03 21:11:08 RWTH Aachen University Management Mining Occupational safety and health Tomra
274	The German Aerospace Centre (Deutsches Zentrum für Luft- und Raumfahrt e.V., DLR) is the national aeronautics and space research centre of the Federal Republic of Germany. DLR has approximately 7800 employees and its ex Add to Reading List Source URL: media.materialsviews.com Language: English - Date: 2015-02-09 03:52:48 German Aerospace Center Ceramic matrix composite Germany Aachen RWTH Aachen University
275	PAPER Recycling of rare metals from the decommissioning of nuclear facilities Dr. Frank Charlier, Dipl.-Phys. Jan Philipp Dabruck RWTH Aachen University, NET The lecture „Recycling of rare metals from the decommission Add to Reading List Source URL: www.oecd-nea.org Language: English - Date: 2014-05-13 04:54:14 Nuclear technology Aachen RWTH Aachen University Metal Nuclear reactor Recycling Nuclear engineering Indium S-process Physics Nuclear physics Energy
276	A COMPARATIVE ANALYSIS OF DYNAMIC NETWORK DECODING David Rybach, Ralf Schl¨uter, Hermann Ney Human Language Technology and Pattern Recognition, Computer Science Department, RWTH Aachen University, 52056 Aachen, Germany Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Finite state transducer Computer science Applied mathematics Computational linguistics Speech recognition Decoder Finite-state machine WFST Algorithm Automata theory Models of computation Theoretical computer science
277	MOOC@TU9 Discover Excellence in Engineering and the Natural Sciences – Made in Germany The TU9 Universities are offering an interactive Massive Open Online Course (MOOC) for all those Add to Reading List Source URL: www.tu9.de Language: English - Date: 2014-10-01 08:58:26 Public universities Berlin Institute of Technology Braunschweig University of Technology Karlsruhe Institute of Technology TU9 University of Stuttgart Institute of technology University of Hanover RWTH Aachen University Education Academia Technology
278	• University of Excellence with extremely broad range of subjects and internatio• TU9 is the alliance of leading Institutes of Technology in Germany • The nine members stand for strength in research and traditio Add to Reading List Source URL: www.tu9.de Language: English - Date: 2014-04-01 11:20:00 Public universities Higher education Partners Harvard Medical International Education in Munich Karlsruhe Institute of Technology TU9 Institute of technology RWTH Aachen University University of Hanover Education Academia Knowledge
279	The network of the leading Institutes of Technology in Germany RWTH Aachen Technische Universität Berlin Add to Reading List Source URL: www.tu9.de Language: English - Date: 2011-12-15 03:19:22 Public universities Higher education Partners Harvard Medical International Education in Munich Karlsruhe Institute of Technology TU9 Institute of technology RWTH Aachen University Technische Universität Darmstadt Education Academia States of Germany
280	MOOC@TU9 Discover Excellence in Engineering and the Natural Sciences – Made in Germany The TU9 Universities are offering an interactive Massive Open Online Course (MOOC) for all those Add to Reading List Source URL: www.intl.kit.edu Language: English - Date: 2014-09-30 04:54:41 Public universities Berlin Institute of Technology Braunschweig University of Technology Karlsruhe Institute of Technology TU9 University of Stuttgart Institute of technology University of Hanover RWTH Aachen University Education Academia Technology

UPDATE